r:CRng. SqStable(IsIntegDom(r)) 

latex

Up	rings 1
Definitions of Statement	Rng, CRng, IsIntegDom(r)
Definitions	t  T, IsIntegDom(r), x:A. B(x), x. t(x), , x f y, P  Q, a  b  T , x(s), Rng, CRng
Lemmas	crng wf, sq stable equal, sq stable all, sq stable not, rng times wf, not wf, rng one wf, rng zero wf, rng car wf, nequal wf, sq stable and